On provably disjoint NP-pairs

On provably disjoint NP-pairs

In this paper we study the pairs (U, V ) of disjoint NP-sets representable in a theory T of Bounded Arithmetic in the sense that T proves U ∩ V = ∅. For a large variety of theories T we exhibit a natural disjoint NP-pair which is complete for the class of disjoint NP-pairs representable in T . This allows us to clarify the approach to showing independence of central open questions in Boolean co...

Representable Disjoint NP-Pairs

Disjoint NP-Pairs

We study the question of whether the class DisNP of disjoint pairs (A,B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that nonsymmetric disjoint NP-pairs exist, which provi...

Disjoint NP - Pairs ( Extended

We study the question of whether the class D of disjoint pairs (A,B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that nonsymmetric disjoint NP-pairs exist, which provides ...

NP-Completeness and Disjoint NP-Pairs

We study the question of whether the class DisjNP of disjoint pairs (A,B) of NPsets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that nonsymmetric disjoint NP-pairs exist, which provi...